Frequency list
word | Freq | ||
---|---|---|---|
P | N | English | 3 | |
P | N | CTL | 2 | |
P | N | temporal logic CTL | 1 | |
P | N | subsets | 1 | |
P | N | subset | 1 | |
P | N | sentences | 1 | |
P | N | semantic expressibility | 1 | |
P | N | restricted subset | 1 | |
P | N | model checking | 1 | |
P | N | hardware designs | 1 | |
P | N | computational semantic analyses | 1 | |
P | N | circuit specifications | 1 | |
P | N | CTL translation | 1 | |
P | N | Automatic conversion | 1 |